Non-classical logic - PDFSEARCH.IO - Document Search Engine

Non-classical logic
Results: 703

#	Item
681	PDF Document Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2007-07-26 07:51:46 Knowledge representation Data Information science Ontology Non-classical logic Description logic Web Ontology Language Semantic reasoner Ontology language Semantic Web Information Science
682	PDF Document Add to Reading List Source URL: www.aifb.kit.edu Language: English - Date: 2014-02-27 02:44:58 Logic Ontology Knowledge representation Information science Non-classical logic Web Ontology Language Description logic Knowledge representation and reasoning Abox Science Semantic Web Information
683	PDF Document Add to Reading List Source URL: tocl.acm.org Language: English - Date: 2007-11-29 06:05:45 Philosophical logic Propositional calculus Metalogic Non-classical logic Admissible rule Unification Entailment Normal modal logic Model theory Logic Mathematical logic Modal logic
684	PDF Document Add to Reading List Source URL: tr.cs.gc.cuny.edu Language: English - Date: 2007-10-27 11:31:38 Philosophical logic Propositional calculus Branches of philosophy Fuzzy logic Intuitionistic logic Modal logic Deduction theorem Monoidal t-norm logic Epistemic modal logic Logic Mathematical logic Non-classical logic
685	PDF Document Add to Reading List Source URL: tedsider.org Language: English - Date: 2009-12-01 22:19:25 Mathematical logic Non-classical logic Entailment Metalogic First-order logic Tautology Modal logic Paraconsistent logic If and only if Logic Philosophical logic Propositional calculus
686	PDF Document Add to Reading List Source URL: staff.ulsu.ru Language: English - Date: 2009-04-28 06:59:00 Philosophical logic Aristotle Classical logic Nicolai A. Vasiliev Paraconsistent logic Non-Aristotelian logic Valentin A. Bazhanov Term logic Law of noncontradiction Logic Mathematical logic Non-classical logic
687	PDF Document Add to Reading List Source URL: staff.science.uva.nl Language: English - Date: 2003-10-15 07:19:02 Modal logic Non-classical logic Model theory Temporal logic First-order logic Substitution Accessibility relation Well-formed formula Linear temporal logic Logic Mathematical logic Propositional calculus
688	PDF Document Add to Reading List Source URL: staff.science.uva.nl Language: English - Date: 2008-08-14 05:29:12 Logic Lattice theory Mathematical constructivism Non-classical logic Heyting algebra Turing degree Reduction Turing reduction Albert Muchnik Mathematical logic Mathematics Computability theory
689	PDF Document Add to Reading List Source URL: project.iu.hio.no Language: English - Date: 2006-01-18 08:50:43 Mathematics Modal logic Non-classical logic Kripke semantics Futures and promises Temporal logic Kripke structure Promise Promise theory Logic Mathematical logic Philosophical logic
690	PDF Document Add to Reading List Source URL: philo.ruc.edu.cn Language: English - Date: 2008-12-25 08:07:55 Model theory Modal logic Philosophical logic Non-classical logic Kripke semantics Sheaf theory First-order logic Bisimulation F-coalgebra Logic Mathematical logic Mathematics

UPDATE